Mechanically correct representation]]